Group-graphs associated with Row and Column Symmetries of Matrix Models: some observations
نویسندگان
چکیده
The effect of symmetry-breaking constraints is often evaluated empirically. In order to understand which symmetric configurations are removed by a set of constraints, we have to understand the underlying structure of the symmetry group in concern. A class of symmetry that frequently occurs in constraint programming is the row and column symmetries of a matrix model. In this paper, we study these symmetries from a structural viewpoint, and show how the graph of the associated group can be built. The graph can help us to understand the effect of certain symmetry-breaking constraints posted on a matrix model, though some questions remain open. This paper is a preliminary study on the relations between group properties and the corresponding graph and symmetrybreaking constraints.
منابع مشابه
Constraints for Breaking All Row and Column Symmetries in a Three-by-Two Matrix
Constraint programs containing a matrix of two (or more) dimensions of decision variables often have row and column symmetries: in any assignment to the variables, the values assigned to any two rows can be swapped and the values assigned to any two columns can be swapped without affecting whether or not the assignment is a solution. This introduces an enormous amount of redundancy when searchi...
متن کاملBreaking Row and Column Symmetries in Matrix Models
We identify an important class of symmetries in constraint programming, arising from matrices of decision variables where rows and columns can be swapped. Whilst lexicographically ordering the rows (columns) breaks all the row (column) symmetries, lexicographically ordering both the rows and the columns fails to break all the compositions of the row and column symmetries. Nevertheless, our expe...
متن کاملBarycentric Discriminant Analysis
Barycenter The mean of the observations from a given category (also called center of gravity, center of mass, mean vector, or centroid) Confidence interval An interval encompassing a given proportion (e.g., 95%) of an estimate of a parameter (e.g., a mean) Discriminant analysis A technique whose goal is to assign observations to some predetermined categories Discriminant factor scores A linear ...
متن کاملSymmetry Breaking Ordering Constraints
In a constraint satisfaction problem (CSP), symmetry involves the variables, values in the domains, or both, and maps each search state into an equivalent one. When searching for solutions, symmetrically equivalent (partial) assignments can dramatically increase the search space. Hence, elimination of symmetry is essential to avoid exploring equivalent branches in a search tree. An important cl...
متن کاملBreaking Generator Symmetry
Dealing with large numbers of symmetries is often problematic. One solution is to focus on just symmetries that generate the symmetry group. Whilst there are special cases where breaking just the symmetries in a generating set is complete, there are also cases where no irredundant generating set eliminates all symmetry. However, focusing on just generators improves tractability. We prove that i...
متن کامل